pie/util-vdso-elf32.c